Generalising monads to arrows
https://www.sciencedirect.com/science/article/pii/S0167642399000234
John Hughes
著
Arrow型クラス
の初出
論文